pointwise limit sequence of functions